Lawrence University - PDFSEARCH.IO - Document Search Engine

Lawrence University
Results: 2464

#	Item
601	The ASCI Blue Mountain 3-TOps System On the Road to 100 TeraOps This leaflet describes the Blue Mountain System at Los Alamos National Laboratory (LANL). The Add to Reading List Source URL: www.sgidepot.co.uk Language: English - Date: 2008-04-15 16:23:10 Livermore California University of California Lawrence Livermore National Laboratory Advanced Simulation and Computing Program HIPPI Sandia National Laboratories ASCI Blue Mountain Stockpile stewardship Los Alamos National Laboratory Computing Supercomputers United States Department of Energy National Laboratories
602	Microsoft Word - Commercialization Infodoc Add to Reading List Source URL: ipo.llnl.gov Language: English - Date: 2015-03-19 13:59:33 University of California California Battelle Memorial Institute Lawrence Livermore National Laboratory Livermore California Science and technology in the United States ROSE Livermore Valley Geography of California United States Department of Energy National Laboratories
603	A Proposal for a UPC Memory Consistency Model, v1.0 Lawrence Berkeley National Lab Tech Report LBNLKatherine Yelick Dan Bonachea University of California, Berkeley Charles Wallace Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2004-11-10 21:04:26 Transaction processing Software engineering Computer memory Compiler construction Memory model Programming language design Consistency model Linearizability Universal Product Code Computing Concurrency control Computer architecture
604	The ASCI Blue Mountain 3-TOps System On the Road to 100 TeraOps This leaflet describes the Blue Mountain System at Los Alamos National Laboratory (LANL). The Add to Reading List Source URL: vintagecomputers.info Language: English - Date: 1999-05-14 11:01:07 Livermore California University of California Lawrence Livermore National Laboratory Advanced Simulation and Computing Program HIPPI Sandia National Laboratories ASCI Blue Mountain Stockpile stewardship Los Alamos National Laboratory Computing Supercomputers United States Department of Energy National Laboratories
605	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Logic in computer science Automated theorem proving Formal methods Lambda calculus Proof assistant Isabelle Logic for Computable Functions HOL First-order logic Theoretical computer science Mathematics Mathematical logic
606	© Copyright, Princeton University Press. No part of this book may be distributed, posted, or reproduced in any form by digital or mechanical means without prior written permission of the publisher. P refac e Add to Reading List Source URL: press.princeton.edu Language: English - Date: 2012-08-21 09:54:48 Judaism Qumran Scroll Essenes Lawrence Schiffman Who Wrote The Dead Sea Scrolls? Dead Sea scrolls Religion Archaeology of Israel
607	Acknowledgments Steve Klein (LLNL), Tom Phillips (LLNL), David Cook (ANL), Joe Santanello (NASA), Margaret Torn (LBL), Lo-Co, CAPT LLNL-PRESThis work was performed under the auspices of the U.S. Department Add to Reading List Source URL: asr.science.energy.gov Language: English - Date: 2014-12-10 17:38:43 United States Department of Energy National Laboratories University of California Livermore California Battelle Memorial Institute Lawrence Livermore National Laboratory Soil Pit Livermore Valley Geography of California California
608	OSA International Workshop on Compact EUV & X-ray Light SourcesOctober 2014 ● Washington, DC, USA Organizing Committee Uwe Arp, National Institute of Standards and Technology Patrick Naulleau, Lawrence Berkeley Add to Reading List Source URL: www.osa.org Language: English - Date: 2014-10-31 11:41:03 Lawrence Berkeley National Laboratory Science and technology in the United States Technology Extreme ultraviolet lithography United States Department of Energy National Laboratories University of California
609	cctbx news Luc J. Bourhisa, Ralf W. Grosse-Kunstleveb, Paul D. Adamsb a) University of Durham, Durham, DH1 3HP,UK and b) Lawrence Berkeley National Laboratory, Berkeley, CA 94720, USA. E-mail: and luc_j_ Add to Reading List Source URL: cci.lbl.gov Language: English - Date: 2011-01-13 22:26:32 Condensed matter physics Materials science Crystallography Instrumental analysis Apache Subversion Chemical structure Crystal structure Weighting Generalizations of the derivative Chemistry Science Mathematical analysis
610	Lawrence Livermore National Laboratory Toward Regional Fossil Fuel CO2 Emissions Verification Using WRF-CHEM Branko Kosović, Luca Delle Monache, Add to Reading List Source URL: www2.mmm.ucar.edu Language: English - Date: 2008-06-30 12:05:26 Geography of California University of California Battelle Memorial Institute Lawrence Livermore National Laboratory Livermore California United States Department of Energy National Laboratories Greenhouse gas Carbon offset California Air Resources Board Climatology Livermore Valley Environment

UPDATE